#ifndef RTW_HEADER_N32ShiftRight_h_
#define RTW_HEADER_N32ShiftRight_h_

#include "rtwtypes.h"

extern int32_T N32ShiftRight(int32_T rtu_xN32, uint8_T rtu_numU8);

#endif

